<?php

/**
 * 输出全类型数据并终止程序
 */
function halt($data){
    
    var_dump($data);die;
}
    

/**
 * 格式化json
 */
 
function json($msg='',$data=[],$code='200'){
    
    echo json_encode(['msg'=>$msg,'data'=>$data,'code'=>$code]);
}
